MT universale
Turing (1939) defin_ cos_ il risultato teorico:
ÅgSi afferm_ che "una funzione _ effettivamente calcolabile se i suoi valori possono essere trovati attraverso un processo puramente meccanico". Possiamo prendere alla lettera questa asserzione, intendendo per processo puramente meccanico, un processo che